大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Jerusalem Conference on Information Technology (4th : 1984) 的图书(共9253本)

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

0
索取号：
作者：Kuncak、 Viktor.、Rybalchenko、 Andrey.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Security Technology for Applications [electronic resource] : 15th Nordic Conference on Secure IT Systems, NordSec 2010, Espoo, Finland, October 27-29, 2010, Revised Selected Papers

0
索取号：
作者：Aura、 Tuomas.、J盲rvinen、 Kimmo.、Nyberg、 Kaisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

0
索取号：
作者：Garcia-Alfaro、 Joaquin.、Lafourcade、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Security Applications [electronic resource] : 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011. Revised Selected Papers

0
索取号：
作者：Jung、 Souhwan.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Data Engineering and Management [electronic resource] : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

0
索取号：
作者：Kannan、 Rajkumar.、Andres、 Frederic.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Intelligent Systems [electronic resource] : Selected papers from 2012 International Conference on Control Systems (ICCS 2012), March 1-2, Hong Kong

0
索取号：
作者：Lee、 Gary.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Technology for Education and Learning [electronic resource]

0
索取号：
作者：Tan、 Honghua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Verified Software: Theories, Tools, Experiments [electronic resource] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

0
索取号：
作者：Joshi、 Rajeev.、M眉ller、 Peter.、Podelski、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, 艩pindler暖v Ml媒n, Czech Republic, January 21-27, 2012. Proceedings

0
索取号：
作者：Bielikov谩、 M谩ria.、Friedrich、 Gerhard.、Gottlob、 Georg.、Katzenbeisser、 Stefan.、Tur谩n、 Gy枚rgy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Smart Sensing Technology for Agriculture and Environmental Monitoring [electronic resource]

0
索取号：
作者：Mukhopadhyay、 Subhas C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

0
索取号：
作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Financial Cryptography and Data Security [electronic resource] : 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers

0
索取号：
作者：Danezis、 George.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

0
索取号：
作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Technology and Agricultural Engineering [electronic resource]

0
索取号：
作者：Zhu、 Egui.、Sambath、 Sabo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computational Intelligence [electronic resource] : Revised and Selected Papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010

0
索取号：
作者：Madani、 Kurosh.、Dourado Correia、 Ant贸nio.、Rosa、 Agostinho.、Filipe、 Joaquim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Sustainability in Energy and Buildings [electronic resource] : Proceedings of the 3rd International Conference in Sustainability in Energy and Buildings (SEB鈥ᱩ

0
索取号：
作者：M鈥橲irdi、 Nacer.、Namaane、 Aziz.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.